Update xen cap to reflect 32 bit VMX guest support on x86_64

Signed-off-by: Xin Li <xin.b.li@intel.com>

diff --git a/xen/arch/x86/setup.c b/xen/arch/x86/setup.c
index 625a2a0d5288bb5a2eefb33757408124c9058eab..07fac8b7ab14a5e114f13f267c236f576f121128 100644 (file)
--- a/xen/arch/x86/setup.c
+++ b/xen/arch/x86/setup.c
@@ -571,7 +571,7 @@ void arch_get_xen_caps(xen_capabilities_info_t info)
     p += sprintf(p, "xen-%d.%d-x86_64 ", XEN_VERSION, XEN_SUBVERSION);
     if ( hvm_enabled )
     {
-        //p += sprintf(p, "hvm-%d.%d-x86_32 ", XEN_VERSION, XEN_SUBVERSION);
+        p += sprintf(p, "hvm-%d.%d-x86_32 ", XEN_VERSION, XEN_SUBVERSION);
         //p += sprintf(p, "hvm-%d.%d-x86_32p ", XEN_VERSION, XEN_SUBVERSION);
         p += sprintf(p, "hvm-%d.%d-x86_64 ", XEN_VERSION, XEN_SUBVERSION);
     }
@@ -581,7 +581,7 @@ void arch_get_xen_caps(xen_capabilities_info_t info)
     p++;
 
 #endif
-    
+
     *(p-1) = 0;
 
     BUG_ON((p - info) > sizeof(xen_capabilities_info_t));